Protect against changes of interval tree when adding/removing text props.
authorEli Zaretskii <eliz@gnu.org>
Sat, 2 Mar 2013 09:28:53 +0000 (11:28 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 2 Mar 2013 09:28:53 +0000 (11:28 +0200)
commitdff3f71e1ab7adb90be6ebbfabaeeedbe4cf5c19
tree6f5ee84737ebebbc2e2a73c5069230afa383a328
parentaf25e85fda743d39c3b8f7e9397da6e4f51df9f0
Protect against changes of interval tree when adding/removing text props.

 src/textprop.c (Fadd_text_properties, Fremove_text_properties): If
 the interval tree changes as a side effect of calling
 modify_region, re-do processing starting from the call to
 validate_interval_range.  (Bug#13743)
src/ChangeLog
src/textprop.c